From 9b9ccb56b157e7516a1140ea6958ba530ad67988 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 8 Oct 2010 11:11:33 -0400 Subject: [PATCH] Make GtkPaned use gtk_container_class_handle_border_width --- gtk/gtkpaned.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gtk/gtkpaned.c b/gtk/gtkpaned.c index ad84fadfb6..54837c4a8b 100644 --- a/gtk/gtkpaned.c +++ b/gtk/gtkpaned.c @@ -891,7 +891,7 @@ gtk_paned_size_allocate (GtkWidget *widget, if (priv->orientation == GTK_ORIENTATION_HORIZONTAL) { gtk_paned_calc_position (paned, - MAX (1, widget_allocation.width- handle_size), + MAX (1, widget_allocation.width - handle_size), child1_requisition.width, child2_requisition.width); -- 2.30.2